Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
691	BS in CS Revision Effective: Fall 2007 CS[removed]Programming I Add to Reading List Source URL: www.cs.sonoma.edu Language: English - Date: 2007-03-26 17:41:31 Mathematics Mathematical logic Logic Boolean algebra Logical disjunction Propositional calculus
692	New York City College of Technology The City University of New York DEPARTMENT: Mathematics PREPARED BY: Professor Victoria Gitman, Professor Yalin Celikler, Professor Jonas Reitz, Add to Reading List Source URL: www.citytech.cuny.edu Language: English - Date: 2014-07-01 12:53:27 Model theory Boolean algebra Philosophical logic Mathematical proof First-order logic Function Propositional calculus Set theory Theorem Logic Mathematics Mathematical logic
693	ZDD and its applications to intelligent processing Shin-ichi Minato Graduate School of Information Science and Technology Add to Reading List Source URL: www.jst.go.jp Language: English - Date: 2010-11-01 01:10:45 Mathematical logic Binary decision diagram Zero-suppressed decision diagram Boolean function Model checking Truth table Negation Algebraic structure Boolean algebra Mathematics Abstract algebra
694	Sectionally complemented chopped lattices Add to Reading List Source URL: ftp.ktug.org Language: English - Date: 2006-04-03 06:17:06 Lie groups Lattice theory Algebraic structures Ergodic theory Lattice Boolean algebra Congruence relation Congruence lattice problem Abstract algebra Mathematics Algebra
695	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: kambing.ui.ac.id Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
696	Learning and Verifying Quantified Boolean Queries by Example Azza Abouzied∗ , Dana Angluin∗ , Christos Papadimitriou∗∗ , Joseph M. Hellerstein∗∗ , Avi Silberschatz∗ ∗ Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2013-08-06 23:17:37 Logic Database theory Computational complexity theory Descriptive complexity Finite model theory SO Relation Boolean algebra First-order logic Theoretical computer science Mathematical logic Relational model
697	Representations of positive projections W. A. J. Luxemburg B. de Pagter Department of Mathematics, California Institute of Technology, Pasadena, CA, USA Department of Mathematics, Delft University of Add to Reading List Source URL: www.math.caltech.edu Language: English - Date: 2002-12-05 18:43:30 Linear algebra Functional analysis Riesz space Algebraic structures Operator theory Freudenthal spectral theorem Boolean algebra Vector space Approximately finite dimensional C*-algebra Algebra Mathematics Mathematical analysis
698	NuSMV 2.3 User Manual Roberto Cavada, Alessandro Cimatti, Emanuele Olivetti, Gavin Keighren, Marco Pistore, Marco Roveri, Simone Semprini and Andrey Tchaltsev Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2005-11-21 08:41:53 Procedural programming languages NuSMV Boolean algebra Data types Expr Boolean data type Model checking C FALSE Computing Software engineering Software
699	MSC2010 MSC2010 This document is a printed form of MSC2010, an MSC revision produced jointly by the editorial staffs of Mathematical Reviews (MR) and Zentralblatt f¨ ur Mathematik (Zbl) in consultation with the mathemat Add to Reading List Source URL: www.mathem.pub.ro Language: English - Date: 2014-10-21 23:33:57 Algebra Representation theory Universal algebra Number theory Modular form Boolean algebra Ring theory Group theory Distributive lattice Abstract algebra Mathematics Algebraic structures
700	The following is intended to outline our general product direction. It is intended for information purposes only, and may not be incorporated into any contract. It is not a commitment to deliver any material, code, or f Add to Reading List Source URL: wiki.jvmlangsummit.com Language: English - Date: 2012-07-31 18:12:33 Computer programming Type theory Boolean algebra Program analysis Type system Boolean data type Conditional Constructor Oracle Database Data types Computing Software engineering

UPDATE